81. Engineering applications software development : using Fortran 77
Author: Moses, Gregory A.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، FORTRAN )Computer program language(,، Computer software-- Development,، Engineering-- Data processing,، Application software
Classification :
QA
76
.
73
.
F25
.
M67
1988
82. Engineering applications software development: using Fortran 77
Author: Moses, Gregory A
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، FORTRAN )Computer program language(,Development ، Computer software,، Engineering Data Processing
Classification :
QA
76
.
73
.
F25
M65
1988
83. Engineering applications software development using fortran 77
Author: Moses, Gregory A.
Library: (Semnan)
Subject: ، Fortran )computer program language(,، Computer software development,، Engineering- Data processing
Classification :
QA
76
.
73
.
F25M6
84. Engineering modeling languages :
Author: Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jézéquel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development.,Engineering -- Data processing.,Modeling languages (Computer science)
Classification :
TA343
.
B466
9999
85. Engineering production-grade shiny apps
Author: Colin Fay... [et.al.],Fay, Colin,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Web applications,Software engineering,R (Computer program language),Development.,Management.
Classification :
QA76
.
76
.
A65
F395
2022
86. Essential software testing :
Author: Greg Fournier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
Classification :
QA76
.
76
.
T48
F68
2009eb
87. Ethics and technology: controversies, questions, and strategies for ethical computing
Author: Tavani, Herman T
Library: Special Library of University of Religions (Qom)
Subject: Moral and ethical aspects ، Computer networks,، COMPUTERS / Software Development & Engineering / General
Classification :
TK
5105
.
5
.
T385
2013
88. Evolving software systems
Author: Tom Mens, Alexander Serebrenik, Anthony Cleve, editors
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer software,Software engineering.,Development.
Classification :
QA75
.
5
.
E95
2014
89. Extreme software engineering
Author: / Daniel H. Steinberg and Daniel W. Palmer
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Computer software--Development,eXtreme programming,Software engineering
Classification :
QA76
.
76
.
D47
S73
90. Extreme software engineering: a hands-on approach
Author: Steinberg, Daniel Howard
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development ، Computer software,، Extreme programming,، Software engineering
Classification :
QA
76
.
76
.
D47
S732
2004
91. Extreme software engineering: a hands on approach
Author: Steinberg, Daniel H.)Daniel Howard(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development,، eXtreme programming,، Software engineering
Classification :
QA
76
.
76
.
D47
.
S732
2003
92. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
93. Facts and fallacies of software engineering /
Author: Robert L. Glass.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,SOFTWARE DEVELOPMENT TOOLS.,Software Engineering,Software engineering.,Software Engineering.,SOFTWARE ENGINEERING.,SYSTEMS ENGINEERING.
Classification :
QA76
.
758
.
G52
2003
94. Feature-oriented software product lines :
Author: Sven Apel [and 3 others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development,Software engineering
Classification :
QA76
.
758
95. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
Classification :
TA
5
.
I415
1997
96. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
97. Formal methods for multicore programming
Author: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
76
.
F6
2015
E-Book
,
98. Foundations of algebraic specification and formal software development
Author: / D. (Donald) Sannella
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computer science--Mathematics.,Software engineering.,Computer software--Development.
Classification :
QA76
.
9
.
M35
S26
2012
99. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
100. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
